failure 16:

Requirement failed: {cpowl.01;cpowl.02} It shall compute the complex power
location
trace /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_cexp_scenario.utz (math_cexp_scenario.utt), line 19589
occurence
scenario math_cexp_scenario
specification function cpow_spec()
parameter value  CallContext context = [pid=14189,thr=b75376c0]
parameter value  UnifloatComplex * @x = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L)
parameter value  UnifloatComplex * x = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L)
parameter value  UnifloatComplex * @y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L)
parameter value  UnifloatComplex * y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L)
return value  (UnifloatComplex *) (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) 5.0165576126683320234517576003912636e-20 (0x.ECE675D1FC8F8CBBP-64L)
coverage
& branch
C
all parts of arguments are normal
properties
REQ failed cpowl.01
REQ failed cpowl.02
expected value (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L) + i *(long double) -1.4797009536535407046164482021347804e-48 (-0x.8A67CC74020BBEA6P-158L)
kind POSTCONDITION_FAILED
similar known bug(s)
The cpow(x, y) family of functions shall compute the complex power function x^y, with a branch cut for the first parameter along the negative real axis. If the argument is x = (-1) + (-0) * i and y = (-1) + (-0) * i then the function cpow(x, y) return (-1) + (near)(1e-16) * i. This result is too far from (-1). If the argument is x = (-1) + (0) * i and y = (-1) + (0) * i then the function cpow(x, y) return (-1) - (near)(1e-16) * i. This result is too far from (-1). If the argument is x = (-1) + (-0) * i and y = (-1) + (-0) * i then the function cpowl(x, y) return (-1) + (near)(1e-20) * i. This result is too far from (-1). If the argument is x = (-1) + (0) * i and y = (-1) + (0) * i then the function cpowl(x, y) return (-1) + (near)(1e-20) * i. This result is too far from (-1).